Model Checking – Bücher, LPs, CDs und mehr

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar ab 8.11.2025.

Buch

Model Checking Software

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3…

lieferbar innerhalb 2-3 Wochen

Buch

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

Clown Motel (Blu-ray)

Eine Gruppe von Geisterjägern und eine feierwütige Junggesellinnen-Gang treffen zufällig im abgelegenen »Clown Motel« aufeinander. Da sie in dem offenbar verlassenen Hotel niemand in Empfang nimmt, checke…

Artikel am Lager

Blu-ray Disc

New Model Army

Thunder And Consolation

“Songs from my life, recently recorded, create a music montage with no beginnings or endings.” — NY On his new album, BEFORE AND AFTER, Young has approached a totally eclectic collection of mostly obscur…

lieferbar ab 17.10.2025.

2 LPs

The Rolling Stones

Black And Blue (Limited Japan SHM-CD)

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

lieferbar in mind. 4 Wochen

CD

Jim Sullivan

If The Evening Were Dawn

Am 4. März 1975 verschwand Jim Sullivan auf mysteriöse Weise bei Santa Rosa in New Mexico. Sein VW-Käfer wurden verlassen gefunden, sein Motelzimmer wirkte unberührt. Einige denken, dass er sich verirrt h…

lieferbar innerhalb einer Woche

CD

Jim Sullivan

U.F.O. (Blue Splatter Vinyl)

Im März 1975 verschwand Jim Sullivan auf mysteriöse Weise außerhalb von Santa Rosa, New Mexico. Sein VW-Käfer wurde verlassen aufgefunden, sein Motelzimmer war unberührt. Manche glauben, er habe sich in d…

lieferbar innerhalb einer Woche

LP

The Rolling Stones

Black And Blue (2009 Remastered)

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

Artikel am Lager

CD

Jim Sullivan

U.F.O. (remastered) (Colored Vinyl)

Im März 1975 verschwand Jim Sullivan auf mysteriöse Weise außerhalb von Santa Rosa, New Mexico. Sein VW-Käfer wurde verlassen aufgefunden, sein Motelzimmer war unberührt. Manche glauben, er habe sich in d…

lieferbar innerhalb 2-3 Wochen

LP

The Rolling Stones

Black And Blue (remastered) (180g) (Half Speed Master)

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

lieferbar innerhalb 1-2 Wochen

LP

The Rolling Stones

Black And Blue (SHM-CD) (Papersleeve)

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

lieferbar in mind. 4 Wochen

CD

Drew McDowall

Agalma (Limited Edition) (Dark Translucent Green Vinyl)

Product Information Veteran NYC based Scottish electronic musician Drew McDowall's latest work is his loftiest, most liturgical, and least industrial outing to date - and potentially the apex of his rec…

lieferbar innerhalb einer Woche

LP

Drew McDowall

Agalma

Product Information Veteran NYC based Scottish electronic musician Drew McDowall's latest work is his loftiest, most liturgical, and least industrial outing to date - and potentially the apex of his rec…

lieferbar innerhalb von 3 Tagen

LP

Daniel Sorensen
Statistical Learning in Genetics

Overview.- Part I: Fitting Likelihood and Bayesian Models.- 2. Likelihood.- 3. Computing the Likelihood.- 4. Bayesian Methods.- 5. McMC in Practice.- Part II: Prediction.- 6. Fundamentals of Prediction.- …

lieferbar innerhalb 2-3 Wochen

Buch

Static Analysis

Lecture Notes in Computer Science - Band 16100

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar ab 15.11.2025.

Buch

Bridging the Gap Between AI and Reality

Lecture Notes in Computer Science - Band 16220

This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in N…

lieferbar ab 23.11.2025.

Buch

CyberSecurity in a DevOps Environment

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

lieferbar innerhalb 2-3 Wochen

Buch

Bridging the Gap Between AI and Reality

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The paper…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Model Checking" - alle Bücher, LPs, CDs und mehr